📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.org·1d
🌀Differential Geometry
Binary Search in a 2D Matrix
mmhaskell.com·2d
🔗Combinatory Logic
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·21h
🦀Rust Verification
Piano Keys
mathpages.com·13h·
Discuss: Hacker News
🌈Spectral Audio
A Continental Divide for Newton’s Method
johndcook.com·1d
📐Interval Arithmetic
A Minimal DDPM
github.com·9h·
Discuss: Hacker News
🧠Machine Learning
Checking data integrity
eclecticlight.co·4h
✅Checksum Validation
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
What are Matrix Operations?
dev.to·9h·
Discuss: DEV
📐Linear Algebra
A probability puzzle involving random fractions
mathematicaloddsandends.wordpress.com·3d
🎯Arithmetic Coding
News for June 2025
ptreview.sublinear.info·2d
🕸️Graph Algorithms
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Compressed data structures for Heegaard splittings
arxiv.org·7h
🕳️Persistent Homology
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Asymmetry of Verification and Verifier's Law
jasonwei.net·10h·
Discuss: Hacker News
🔮Proof Search
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·14h
🔢Bitwise Algorithms
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·20h
📐Mathematical Art
How to Optimize Your Python Code Even If You’re a Beginner
kdnuggets.com·1d
🌊Streaming Algorithms
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·13h·
Discuss: Hacker News
🎯Interactive Provers
maxsim-cpu: Maximising Maxsim Efficiency
mixedbread.com·1d·
Discuss: Hacker News
🌊Streaming Algorithms